Kevin Compton , Jean - Eric Pin , Wolfgang Thomas ( editors ) : Automata Theory : Infinite Computations

s of Talks Page I. Automata and Infinite Sequences 6 Ch. Frougny (Paris): Rational 0)-Relations, Application to the Representation of Real Numbers J. Karhuméiki (Turku): Finite Automata Computing Real Functions N. Klarlund (Aarhus): Progress Measures for Complementation of to-Automata B. Le Saec (Bordeaux): A Syntactic Approach to Deterministic to-Automata D. Perrin (Paris): to-Automata with Multiplicities R.R. Redziejowski (Lidingö): Adding In nite Product to a Semigroup L. Staiger (Siegen): Recursive Automata on In nite Words and the Veri cation of Concurrent Programs Th. Wilke (Kiel): Locally Threshold Testable to-languages and FGHG5-Sets II. Automata on In nite Traces 10 A. Petit (Paris): Automata for In nite Traces P. Gastin (Paris): Biichi Asynchronous Cellular Automata V. Diekert (Stuttgart): Somc Open Problems on Deterministic Trace Automata III. Tree Languages, Tree Automata, and In nite Games 12 E.A. Emerson (Austin): Complexity of Logics of Programs and Automata on In nite Objects A.W. Mostowski (Gdansk): Games with Forbidden Positions D. Niwinski (Warsaw): Problems in p-Calculus P.E. Schupp (Urbana): Simulating Altemating Automata by Nondeterministic Automata J. Skurczynski (Gdansk): Automata on In nite Trees with Weak Acceptance Conditions S. Zeitrnan (Detroit): Unforgettable Forgetful Detenninacy IV. Logical Aspects ' 15 K. Compton (Ann Arbor and Roquencourt): A Monadic Second-Order Limit Law for Unary Function P383 B. Courcelle (Bordeaux): Monadic Second-Order Definability Properties of In nite Graphs G. Sénizergues (Bordeaux): De nability in Weak Second-Order Logic of Some In nite Graphs A.L. Semenov and An. A. Muchnik (Moscow): Automata on In nite Objects, Monadic Theories, and Complexity H. Straubing (Boston): Circuit Complexity, Finite Automata and Generalized First-Order Logic V. Combinatorial Aspects 18 D. Beauquier (Paris): Games with Dominoes C. Choffrut (Paris): Some Questions on Sequential Bijections Between Free Monoids T. Head (Binghamton): Splicing Schemes and DNA I. AUTOMATA AND INFINITE SEQUENCES Rational 0)-Relations. Application to the Representation of Real numbers